backward simulation